experimental verification